$\forall$$A$:Type. Id $\in$ $A$$\rightarrow$$A$